step(al,ii,tm(s,[ctxm(pi_,u,ip,ip_al_1,ip_al_1),ctxm(pi_,idp1,ip,ip_ii,ip_ii)],pri(lst,[pri(h,[pri(lst,[ctxm(pi_,u,i,i_al,i_al),ctxm(pi_,dot,n_c1_1,in_pi_n1,cn_pi_n1)])])]))).
